Making air crashes more survivable.

ReCrash: Making Crashes Reproducible

It is difficult to fix a problem without being able to reproduce it. However, reproducing a problem is often difficult and time-consuming. This paper proposes a novel algorithm, ReCrash, that generates multiple unit tests that reproduce a given program crash. ReCrash dynamically tracks method calls during every execution of the target program. If the program crashes, ReCrash saves information a...

Making Computers More Useful and More Usable

97 Useful computers which are not usable are of little help; but so are usable computers which are not useful. One of the major goals of our research is to achieve these two goals simultaneously. We claim that useful computers have to be complex systems with a rich functionality. To make these systems usable and to exploit their power, we have constructed a variety of computer-based intelligent...

Making Argumentation More Believable

There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arguments. A problem with these proposals is that they do not consider the believability of the arguments from the perspective of the intended audience. In this paper, we start by reviewing a logic-based framework for ar...

Making LCA More Efficient

Life Cycle Assessment (LCA) has gained attention because it enables quantitative evaluation of the burden a product places on the environment. However, acceptance of LCA has proceeded slowly because a large amount of work is required to gather the environmental burden data used in the evaluation. To shorten this work time, we utilize readily-accessible databases both internal and external to th...

Making Succinate More Successful